About permutation algebras, (pre)sheaves and named sets
نویسندگان
چکیده
In this paper, we survey some well-known approaches proposed as general models for calculi dealing with names (like e.g. process calculi with namepassing). We focus on (pre)sheaf categories, nominal sets, permutation algebras and named sets. We study the relationships among these models, which allow for transferring techniques and constructions from one model to the other.
منابع مشابه
About permutation algebras and sheaves ( and named sets , too ! ) ∗
In recent years, many general presentations (metamodels) for calculi dealing with names, e.g. process calculi with name-passing, have been proposed. (Pre)sheaf categories have been proved to satisfy classical properties on the existence of initial algebras/final coalgebras. Named sets are a theory of sets with permutations, introduced as the basis for the operational model of HD-automata. Permu...
متن کاملFuzzy Acts over Fuzzy Semigroups and Sheaves
lthough fuzzy set theory and sheaf theory have been developed and studied independently, Ulrich Hohle shows that a large part of fuzzy set theory is in fact a subfield of sheaf theory. Many authors have studied mathematical structures, in particular, algebraic structures, in both categories of these generalized (multi)sets. Using Hohle's idea, we show that for a (universal) algebra $A$, th...
متن کاملSome Characterization Results for Permutation Algebras
In recent years, many general presentations (metamodels) for calculi with namepassing, either operational or denotational in flavour, have been proposed. In this paper, we investigate the connections among some of these proposals, namely permutation algebras, named sets and sheaf categories, with the aim of establishing a bridge between different approaches to the abstract specification of nomi...
متن کاملChevalley groups, reflections groups, braid groups
Program Monday 08h30-09h30 G. Lusztig: On the cleanness of cuspidal character sheaves. 09h45-10h45 P. Achar: Derived Satake equivalence and geometric restriction to a Levi subgroup. 11h15-12h15 G. Williamson: Generators and relations for Soergel bimodules. Tuesday 08h30-09h30 O. Brunat: On semisimple classes in finite reductive groups. 09h45-10h45 R. Charney: Groups Associated to Random Graphs....
متن کاملRepresentation of Pre A∗-Algebras by Sections of Sheaves
In this paper, we prove that every Pre A∗-algebra A with 1 is isomorphic to the Pre A∗-algebra of all global sections of a sheaf of indecomposable Pre A∗-algebra over Boolean space and that sheaf of indecomposable Pre A∗-algebra with 1 over Boolean space is isomorphic to the sheaf obtained from the Pre A∗-algebra of all sections of the sheaf. Copyright c © 2011 Yang’s Scientific Research Instit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Higher-Order and Symbolic Computation
دوره 19 شماره
صفحات -
تاریخ انتشار 2006